projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8bb0c0) | patch
Some enhancements to ocamlbyteinfo and add ocamlplugininfo
authorMehdi Dogguy <dogguy@pps.jussieu.fr>
Mon, 20 Jul 2009 14:45:19 +0000 (16:45 +0200)
committerMehdi Dogguy <dogguy@pps.jussieu.fr>
Mon, 20 Jul 2009 15:46:47 +0000 (17:46 +0200)
commit93ed89edc4b057c39dc3e4a7696256e362f4a043
tree45bca7f7a7f95db291bf772fc9dc29cb7229d497tree | snapshot
parentd8bb0c08fbd8b864586731e2f22ac690286548cdcommit | diff
Some enhancements to ocamlbyteinfo and add ocamlplugininfo

* Enhance ocamlbyteinfo so that it reads only interesting parts
  in the bytecode binary and use Dynlinkaux module which embeds
  all used dependencies.
* Add ocamlplugininfo to read the content of .cmxs files.
* Enhance the Makefile
debian/ocamlbyteinfo/Makefile diff | blob | history
debian/ocamlbyteinfo/ocamlbyteinfo.ml diff | blob | history
debian/ocamlbyteinfo/ocamlplugininfo.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.